From Operational Semantics to Denotational Semantics for Verilog

机译：从Verilog的操作语义到指称语义

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Huibiao Zhu; Jonathan P. Bowen; He Jifeng;
展开▼
作者单位

展开▼
年度 2001
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. From algebraic semantics to denotational semantics for Verilog [J] . Huibiao Zhu, Jifeng He, Jonathan P. Bowen Innovations in Systems and Software Engineering . 2008,第4期

机译：从Verilog的代数语义到指称语义
2. From algebraic semantics to denotational semantics for Verilog [J] . Huibiao Zhu, Jifeng He, Jonathan P. Bowen Innovations in Systems and Software Engineering . 2008,第4期

机译：从Verilog的代数语义到指称语义
3. Linking denotational semantics with operational semantics for web services [J] . Huibiao Zhu, Jifeng He, Jing Li, Innovations in Systems and Software Engineering . 2010,第4期

机译：将指称语义与Web服务的操作语义链接
4. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog Based on Denotational Semantics [C] . Zhu Huibiao, Jonathan P. Bowen, He Jifeng Formal Methods and Software Engineering . 2002

机译：基于指称语义的Verilog操作语义的完整性，完整性和非冗余性
5. The Smythe completion: A common topological foundation for denotational semantics and complexity analysis. [D] . Schellekens, Michel. 1995

机译：Smythe完成：用于指称语义和复杂性分析的通用拓扑基础。
6. Mind Operational Semantics and Brain Operational Architectonics: A Putative Correspondence [O] . Giulio Benedetti, Giorgio Marchetti, Alexander A Fingelkurts, 2010

机译：思维操作语义学与大脑操作建筑学：一种对应关系
7. Soundness, Completeness and Non-redundancy of Operational Semantics for Verilog based on Denotational Semantics [O] . Huibiao Zhu, Jonathan P. Bowen, He Jifeng 2002

机译：基于指称语义的Verilog操作语义的完整性，完整性和非冗余性
8. Relating Denotational and Operational Semantics for Programming Languages with Recursion and Concurrency [R] . Meyer, J. J. C., de Vink, E. P. 1989

机译：用递归和并发关系编程语言的指称和操作语义

From Operational Semantics to Denotational Semantics for Verilog

著录项

引文网络

相似文献

相关主题

期刊订阅